fix small ReST issue