Fixing some documentation