Work around a Jekyll syntax highlighting bug