fix a future parser failure introduced by #510