Minor inclusion bug fixed