Removed prelude doc and added more formatting