Trying to fix various ascii-art vs. html issues.