Small tweaks to the inline docs