Kernel `sleep` takes seconds as argument, not milliseconds.
Cleaned up some specs