Workaround for #49.