corrections to accessor spec