Cycle-related bugfix and proto-readme.