This code is obsolete and will be removed after rebasing.