Fixed MiniTest example in the slides