BUG: added back missing file extension