Fixing bad documentation