Fixes #192, update HISTORY