Fixed a strange adoc error