@alextrichos this function can be removed maybe. It is not used anymore.