Fix the order of the leap repository so it matches the correct repository layout. Fixes #8888 (closed).