CLETE: fixed annoying warning about cast to size_t