Fixing include bug. #516