Minor beautifying.