Minor commenting tweak