Yet another minor indentation fix.