Changed representation slightly