Minor patch to fix debug builds