add some short options