Potential bug in name discovery fixed