This seems like a bug but without any consequences.