Cleaned up the user manual