Fix a bug in the string division