Fix to top-down solver