Clarify in what sense variables in 1.11 are "unnamed", #347