Some corrections to Leaderway