Per @tpiere's suggestion

Thanks, @tpiere!