Cleaned up the header comment, see #56.