apparently a php bug (at least on 5.3)