Remove stray debugging line, mistakenly added in 4ea11794