fixed dependency to finite