Fix a missing #include. Patch by Andrew John Hughes.