Header: operator!=() implementation.