(I am not sure this was shipped in 13.1, so my question might not be relevant :-))