Fixed copy/paste error in previous patch (spotted by Dimitrie