Fixing a return type mismatch in threads::topology