added krypton machine alias