Fix the example of Module#extended (see #8949).