proposal: fix some obvious formatting