Formatting error (fix #37)