Minor improvement in rules for ref and cite with tilde