fixes #13
kernel tests