Add some pmt-related comments