minor cosmetic fixes for issue 259