Fix type, thanks to Paolo for catching that.