Fix bug in HTML export of code blocks with starting blank lines