Another corner case...