Fixed a bug in the manual page for rbi