3.01: fix a bug created in the last version.