minor fix [bugs:#425]