Add banner; minor fixes