Fix borked ~> specifications