small edit in strange bug post