Remove newly-introduced redundancy