good catch. @andreistefanescu , this was a bug before, correct?