Update print.h