bug fixed in //