Pedantry.

Signed-off-by: Norv <a.w.norv@gmail.com>