Fixed filename of ignored JS file in options docs.

Trivial typo.