fixing accidental amend after push problem