Release version 0.4, fixes #4