presentation stuff for @auto and @hidden