Minor polish.