quick fixes in documentation