Bug correction done (wrong output as a consequence of a wrong operation).