Fix spurious modificaiton in previous commit