Fix documentation error, resolve problem with Ant build.xml