Bug fixed: Synchronised kernel