This is in fact useless, as external() does an equivalent job...