Documentation update

Fixed bug in the use of @return(s)