update to 0.7.4.2