another ReST tweak