usermanual: further minor fix in usermanual.lua