suppress compiler warning. A better fix would be to remove this function (since it’s not used), but I don’t know what the orignal author intends so... that’s his call.