fixing formatting bugs