Removed an unnecessary function (previously used to check stuff for debugging