even more embarrassing typo in the previous commit...