#7495: more review fixes.
1 file changed