#6651: Delete unneeded code.