fixed decrement tests

and changed filename so it will be read by the test suite.  Not sure if you intentionally left these tests out.