It would be nice if there were inside of a template file instead of inlined into PHP.