Fix top-nubby TOP_TAB_HEIGHT bug