slight improvements in user docs