Note on fixing a bug for [#50383631]