Small bugfix for wrong file location in source repo