operator -, fix constructor