Small fix for GIV

Fixes the bug already reported on GIV.