We probably shouldn't throw random exceptions after returns...