multiple bug fixes in documentation