Simple change in style and bug fix.