more cleanups

4 jobs for horner_kernel in 13 minutes and 2 seconds