A few formatting nags