that indeed looks like a bug