Added missing header. Reported by Dennis Herrmann.
[mmh] / DATE
1 27 April 2008