From the specification, it's a bug if pos is not used, it should...