Minor polish
Relevant comment