fixed a trivial problem