Fixed oops introduced with revision [a3dd90a8d9].