Some minor fixes to user docs