Small fix for ExecutorService