Title: Comments on the Byzantine Self-Stabilizing Pulse Synchronization Protocol