Fix a minor ident issue.