Documentation update to work around Latex bug