Fixed small cosmetic bugs.