remove orphaned file for issue #12