Remove possible extra `rec`