These have now been fixed in the header and source file