Actually document the argument passed to DEMOLISH