Editing src/CONTENTS