fix a bug :-)