Fixed false positive introduced recently: return value of time() does not need to be taken