user edits refactorings and specs