Updated for a few missing docbook elements