[art] fix up dfaacca54d4a8f78ee02a041d4d1648aa0b403a2

@mkortstiege your button (after mr jenkins is happy).