Minor comment fix to make linter happier