More minor REAMDE tweaks