Minor note on formatting