MinoInstrumentedAnimation: fix header