Remove now-redundant fix from issue 50 (see fix issue 77 revision 5ad5de0)