made a cosmetic change (closes #1226)