Fix detection of FrameCounter