Small correction to instructions on how to run Tessel code