Fixing return value from getchar() so that it is not negative.
Regenerating documentation and size information.