Took out K's debug output