Updates to proptools