Same change as #61, but in website instructions

Again, to save some people the hassle of rebuilding.