minor: top-down code