Changed a printf for source listing to fprintf to make it consistent with the other printing methods.