A few small readability tweaks