Fix #2: Make this public domain.