last(): make it non-lazy; documentation