[admin] added pretty-function; owned by nallen