thanks, had forgotten that. updated, and fine to merge