bug 1219: added equal