Another minor fix (don't know to which spec change this is related)