small changes in the documentation; used ``as_int``