fix translation of fork and more proof