Change doc strings of prelude
Fix doc string section of README