Bug fix for typo introduced in 6c7a66349ec