Bug fix for operator+