Workaround for issue #14.