Good point, I will adapt it as you suggest.