Fix translation highlighting bugs. Fixes #423.