Fixes #252.  Fixes #253.