Fix AXKRACExtensions spec