patmos-chisel: cosmetic changes