Fixed bug in operator-.
Fixed bugs in unit tests.