Fix bug introduced in date format change. JS could not handle the earlier change where 3 char month names were present.