Some doc fixes

Hi Nepomuk,

I hope you're doing well. What are you up to these days?

--Gunnar