Fix #6
Redundant file