Fix some doc typos (from oga@)