bug with ; resolved