Fix a typo in kernel size