fixed formatting error, closes #1257