Included missing header files