Fix bugs; git push