gras: forgotten change from last commit