Options: typo in 5ae2930024
Options: animations in the instructions, close #40