expanding on documentation of bug in Shen.java