Fix a bug regarding translation of unclosed fixed points.
Fresh names now use % instead of zqz