Housekeeping release -- no user-facing changes.
