Tiny bit of cleanup in the README