Planar graphs without cycles of length 4, 5, 8, or 9 are 3-choosable

It is shown that a planar graph without cycles of length 4, 5, 8, or 9 is 3-choosable.