minor fix

Reviewer: trivial