fix one stupid parser bug