Release 0.11.3: Fixes #12