The first is not a bug, and we cannot do the second automatically