Fix typo found by Volker. Thanks for the review.