f7029674b0
Fix wrong replacement of commit dbf993300a4bfbaaa8316baba7e06a9caf7b59a3 to be style-contistent with other definitions