Minor beautifying changes.