88c88
< /* end namespace Kernel */ }
---
> } // namespace Kernel