@xiangli-cmu I agree with @philips. I don't think it's necessary to state that they're "default" commands. Also, the `nop` command isn't a default command. It's used in the server's leader loop. Can you change this to `commands.go`?