fix box dependencies in pragmatics