update to 1.7.2 #3, fixing some more errors