#13816: fix two minor style issues. Thanks to Justin Wehnes for the patch.
2 files changed