Somewhat better instructions