Typos fixed in code results of wrong push