Issue #27: if a name ends with a white space, the white space is automatically trimmed.