minor improvements in documentation