minor fprintf() change