Fixed the printf