FIX: Another minor cosmetic issue