"wiki-" prefix no longer required for anchor names in github wiki pages

also: correct one parameter name in javadoc comments

Author: DavidMGross