Minor change to refTeX setup.