I pushed a commit that changes it to that format.