Oh, so it really was a typo :-) Fixing in the next update