This is a debug leftover. I will get rid of it.