Option number 2 is quite acceptable. Smart users themselves will remove the excess, and the rest will not notice the difference.