small changes to SemanticIndexRecord