fixed a bug just introduced (tiny)