fix optimized pragmatics