found missing space in prot.h