Small typo in my NixOS blog post