Fix instructions to reflect renamed repository