adapted header file due to bug