succ instead of s

It wasn't clear what "s" meant.

Also, the spacing in ((k, v):env) was suggesting the wrong grouping.
minor rewording