remove now-unused label from startup code