Fix another assumed fact.
1 file changed