minor cosmetic fix: removed blank line.