Bug fix

Minor bug fix, hidden typo.