BUGFIX: indentation bug in normalize_kernel(...)