cosmetics.
fixed compilation by adding back a required header file.