Fix recdev documentation