Update due to repository renaming