Account for renumbering monitors in Awesome