Fix Firefox trouble
Fix wrong behavior in the return of num_platforms