Minor docs update fixes #1581