fix a bug due to the change of behavior of *()