as above; the check is unnecessary