some style updates that I forgot to commit