little temporary patch for getressource() problem