#135: blunder fix