Huh. Adapting this part of the parser was surprisingly easy.