Fixes a missing \the