Why is numTrophies not part of options?