Updated to PL 0.7.12