Fix a type hinting miss
Make options not automatically bound to the kernel