Change source of marked until HTML lexing is fixed