Fix subtitle for Z3