But a copyright + doxygen header wouldn't hurt here!