Reporting typo in source

I submitted a pull request to fix this, so I expect they will add it to fix the problem swiftly.

Jon Harald Søby (talk)00:21, 13 November 2019