Fixes #766.