correct mistake in rules
Merge branch 'master' into arxiv