minor fix in SE