Minor doc changes

indeed !