Fixing some documentation mistakes