One more fix to the topmost README