#13: format and done