fix a bug in -