With this change we get a top-level man; I think the original location is correct.