Fixed malformed -*- lines in PBQP headers.