minor documentation fix for Shan-Chen

7 jobs for shanchen in 11 minutes and 51 seconds (queued for 3 seconds)