Fix BANNER entry #13