v0.13.12 - Bug fixes

This is a very small maintenance release that back-ports a NullPointerException fix from v0.14.0 so folks can get the fix without going through a major migration effort.