Fixed HTML encoding issue with documentation