<a title="small changes" href="https://github.com/convexengineering/gpkit/pull/1528">PR #1528</a>: small changes