some minor admm compress: