Fix typo introduced in include file