fixed a pasting error