Fixed minor formatting bugs