changed the printf