#5279: Remove debugging messages.