Fix small typo caught by P. Solheid