Trivial indentation fix.