Minor bug in css