Add assertions on width being non zero