minor formatting modifications