Fix typo spotted by Ansgar Burchardt