minor formatting issues fixed