Thanks for watching out! I actually fixed this one on master right after merging.