This commit has been made for the sake of synchronization. No explicit changes have been logged.