Better debug output in finalise()