Tiny fix of a tiny error