Fix docs, done #2