Workaround for #5.