@andreolf: good to know!