Workaround for brian bug.