Fix minify with YUI compressor

This just fixes a compatibility problem with
http://yuicompressor.codeplex.com/. Not a bug as such, but the
compressor fails on those symbols.