include fix for issue #301 (pull request #302)