Add comment to fix in a8f3ade.