quick hack for TUDomi :=)