Debugging Mac model-finding bug