Tiny little fix