Well, my problem was in fact the cut&paste error, sorry for the false alarm.