Tests
: Fixes the bug part of github issue #6: some incomplete test runs.