diff --git a/internals2/counter.xml b/internals2/counter.xml index 149c17fa78..1903b57524 100644 --- a/internals2/counter.xml +++ b/internals2/counter.xml @@ -1,5 +1,5 @@ - + The "counter" Extension - A Continuing Example @@ -129,7 +129,7 @@ &reftitle.resources; - The "counter" extension defines one resource type, a counter. + The "counter" extension defines one resource type: a counter. @@ -264,8 +264,8 @@ printf("%3d %3d %3d", $starting_counter_value, $second_counter_value, $final_cou 0 1 0]]> - The basic interface also provides a number of INI settings, documented - below. + The basic interface also provides a number of + INI settings.