Minor changes
Derive Show for bodies