Minor updates

Updated one source for bibliography and made enumeration in prototype.