Fix example includes again