Fix typos, add missing comments, and remove stray lines. Signed-off-by: Vittorio Giovara <vittorio.giovara@gmail.com>
It is required by ptrdiff_t, fixes make checkheaders.