another naive bug...