a couple more small code formattings