fix typo in comment

7 jobs for spelling-fixes in 11 minutes and 39 seconds (queued for 48 seconds)