Tiny bug fix and formatting