142c142
< /* end namespace Kernel */ }
---
> } // namespace Kernel