Fix formatting for debian