I'm happy to have that merged!