Yet another quick fix for the patcher