Too long might damage the tension spring, but too short will just make it difficult to start the mower. The cord probably hasn't stretched a whole lot, but sometimes they get shorter than normal when someone re-attaches the pull handle to the stub of a broken cord.
Briggs and Stratton recommend that you find the correct length and diameter of cord by referring to their parts list.