a bug for formatting