Small corrections and mulligans on doc tests