minor: another indenting issue