added some displaying conveniences