i feel like this line should be part of yosay as well