make Forb happy (fix #3636)