Fixed Idris' width