minor formatting bugs