Fix for printing bug