work around a python feature :)