typing errors in Index