Same here: it looks like this will double-print "WARNING".