Fix documentation, release 0.1.2