Fix minor formatting bugs #56