Fix parser problem with decimal numbers

Just a small fix in the parser