Remove non-total warnings, as per #63.