Smal doc fixes (fixes #115)