Documentation bug fixes