(trivial) refactoring