small fix in jsp snapshots