Fix tutorial on Firefox. Fixes #317.