Fix error in error propagation