Small doc fixes (thanks @smn)