Fixes #865.