Don't flush the syntax-ppss cache unless necessary.