fix a bug in naming