You may as well change the gasket to alleviate the leak. You might also consider replacing the thermostat depending, of course, on how long it's been since it was installed.
Check the amount of play (i.e., looseness) in the pulley. Ideally, there should be very little to no play in it.
Mike