Fix #720: Pointer assignment constness checks