re-added badly named files, now named correctly