Update prettify.rb plugin, case #18