Small changes (none in the code)