small formatting changes
changed some tests on tilebag_spec