Not sure why this is needed...