small code-styling changes