Fixed silly bug in DEFAULT