fixed a bit of duplication, and some cf. formatting
(#344)