Fixed another bug in using printf