Fix obnoxious bug