A few additions to header file.