proposed fix (which did not work though)