Fix isPragmaNoCache that was not used ...