@gibwar points out that this could be done more concisely