Remove some unnecessary detail from Shen