Make splint-suggested changes.
Update reference manual.