fix seen printing bug