better docutil error message for duplicate symbol