Fix bug in mixed output