Er, is this debug code that should be removed?