Minor: Style tweaks