Am curious. How would you write it 'properly'? Other (good) alternative is
with toporders as (
select max(order_total) as maxOT, customer_id
from orders
group by customer_id
)
select last_name, maxOT
from customers join toporders
on ...