fixed bug (but repo should eventually be deleted, because it is a bit wrong)