argh, github's rst processing is obviously not great