documentation, also fix (hidden) bug in coordinate display