remove unneeded repository
minor formatting changes