nasty typo bug (for 4.2)