Fixing stupid documentation mistakes