Added other example case to ID-occupied; minor doc fix for index module