Minor pedantic tweaks