Sync to palermo github

Please let me have your recent updates :)