Fixed type in accordance with bug #5