Fix build issue.

(That will teach me to accept pull requests without building. :-) )