abuse #89: type problem fixed