formatting files
formatting and add some regression tests