Correct header file of scripts in bin/

This might have been caused by a wrong copy-paste at some point.