some small modifications wrt abstract and intro