Fix instant validation using TeX filter.

This is really a work-around for a bug in the TeX filter.