fixed docbook error