Minor cosmetic change to fix indentation.