forgot to comment out some debug output