Version 0.5.3, fixes #5