minor updates

we should avoid re-aligning unrelated code like this, since it just bloats the diff