small fix due to edit in wrong file