Erroneously included file removed