Fix trivial coding error that wasn't caught