fixing clock naming issue which caused ill-formity in AGREE