on second thought, we should of course not change the current behaviour.