Issue #100: removal of stray include