tiny fprintf() bug