Fix: header is necessary for distribution