I'm fine with hardcoding `yale`. We do something similar in other places as well.