Fixed #1140. I just put it on the home page for now, but later we can put it somewhere where it makes sense.