Fixes #487.