Some documentation fixes

(Thanks to Joe Corneli)