Better docker alias
Other shutdown