Fix a small model naming error in the debug code

I somehow missed this in #252