small bugfix
obsolete file removed