Fixing minor formatting issues