Minor bull fix.