FIXME This include does not fix the inline