but ``child`` isn't used anywhere below.