Fix formatting for shocco