Another emergency release to fix another HTML representation syntax error