Fix "smallralk" typo in comment

Just stumbled on that, so I might as well submit the fix, trivial as it is…