+ fixes #0001364: Issue 1256 is not actually fixed