Another coding convention correction