Fix #5. Release 1.3.1.