Fill in missing bits of placeholder menu entry.

From #5419.