Fixing minor formatting problems