Fix merge of Erdos numbers