Another minor cosmetical fix