Work around python bug