Update test-header.sml