Very minor change in css, and minor bug fix