add some refaturations