actually fixes #985