Remove some extraneous code that got missed in PR #100.