consistent use of docbook userinput tag