Edited introduction

Also edited test cases so they provide better output and can be used in
document.