Really fix the missing header :-(