#398: Minor change