Workaround for #48.