Correction of f273c09c6f024e

- a missing include...