Fixes #1144; Fixes #1145