some doc fixes and v0.12 release