Fix #64: Update header.