minor nits in 3.1