Use correct name for magik-typed-lint

[StevenLooman]

Thanks! Perhaps a better solution would be to use something like https://stackoverflow.com/a/320595.