Fix demo instructions to not use deprecated options.

Fixes #746.