Issue #43 -- Fix typo in header