One more nicety