slight improvements on docs