Fixed small typos, unpadded categories