Updated instruction: how to run