fix a small indentation problem