Delete unused file
Fix bug #12