more tiny stylistic tweaks