Update test12.5 based on #1039.