Release 1.0.15; bugfix.