Small fixes to the repositories and README