Correct name for time checker spec