Fix up LAX (again), and make test suite pass reliably. Make it part of the general tests.