Further changes due to naming the repo