fix header file

closes #614