fix a tiny bug :-)