minor correction in documentation