Fix translation highlighting bugs. Fixes #243.