I double checked it and it works