minor change: fixed some doc comments