Update rust syntax to v.0.7