Fix misprint in commit f56226a

This pull request fixes #1234.