Cleaned documentation in spatialverifiaction