Fixed formatting issues pointed out by ahulbert.