BUG: corrected header file