Should we do a real lax check here or don't we need this?