Removed no-overflow thing