bit of indentation pedantry