Minor tweak to sync code with docbook source