Pushed to master. Thanks for the review!