fixed old printf