fixes #70: Switch type of Executors.