fixing another brittle regex that does not know that it is currently summer time