nicer display for function
html optimizations