Minor mods to 4/7