This was us debugging, and the code should be removed, as it's no longer needed.