minor tweaks to PL/0 parser