Small cosmetic modification to the references.