How to fold a flag