fix a post-translation bug