Added missing header.  Fixed bug #113.