Fix doc name, so works in Firefox