Small fix to ruby core manual