Minor beautification.