A few patches

A few minor followups to https://github.com/graydon/bors/pull/21