Include fix for issue #5