Fixed minor problem (which shouldn't happen)