Issue #79: no match for operator+