fixes in redpin