I forgot to mention that the fan works fine when fed from a non-AFCI circuit breaker.