/* Unclear if this is still needed. TODO, possibly delete */