Just an FYI: When I left my previous comment, my change had already passed Travis CI. However, when I checked back, it said that Travis CI had somehow been rerun an hour later and failed. I just retriggered Travis CI and my code once again passed; so everything is back on track. :-)