read-me fixes, as many implementation-related things changed a lot