Fix encoding bug specified in HTML headers.