Fix typo in docs

Thanks to Hartmut Pfarr for pointing this out