Temporary workaround for issue #43.