Fix the failing test from 12.5