Minor fix

In response to pull request discussion.