Another related bug appears. Fixed!