minor cosmetic changes for better readability