Fixed some minor formatting problems