I think that the above code is not needed and can be removed safely.