fix an erro introduced by find-replace