#1237 closed