changing REST to ReST