Maybe a fix for printf error