Minor change.

Signed-off-by: Michael Englehorn <michael@englehorn.com>