fix coderay -HTML option