Bug fix in print.hpp