This bug has already been fixed so it will not be an issue once the next IDE version is released. Until then if it's really a problem for you then please use Arduino IDE 1.6.13 or if you're feeling adventurous try the hourly build but be aware that it is intended for beta testing and may not be stable.