Case 494: fix minor bug