ah yes, this actually does not belong to this bug, I have removed it altogether.