Some doc fixes ☻