minor improvements in doc