Add some short options