Fix bug introduced by Rembench alterations