Modified documentation: minor formatting