As pointed out by vpisarev, this is unnecessary.