is there a bug in Ventura 13.7.7