add more instrucations

* fix formatting