fix a stupid compilation error