Fixes #420