Remove (apparently) unneeded line