[doc] Fix #158: minor error in GF documentation