The last compiler nit for issue #38