small fix and removal of a useless file