I think this is a ReST error