I have double checked the Board settings in Arduino 16
Arduino 16 has settings for both the 8 MHz Pros. It is no longer necessary to pretend you have a Lilypad.
Besides, if that were the case, wouldn't the serial port run half as fast, not twice as fast?