Attempt to fix ompilation error noted in #4