mirror fix #989 didier