[Closure-devel] Bug in closure-html, when use with *print-case* set to :downcase